Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
261	An Integrated Discourse Model for a Case-Based Reasoning Dialogue System Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:20:46 Fiction Applied linguistics Critical thinking Semantics Discourse analysis Dialogue Like Case-based reasoning Discourse Linguistics Sociolinguistics Science
262	A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems Benjamin Johnston, Mary-Anne Williams University of Technology, Sydney Faculty of Information Technology [removed], mary-anne@i Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:14 Science Commonsense reasoning Reasoning system Knowledge representation and reasoning Commonsense knowledge base Simulation Scientific modelling Knowledge base Database schema Reasoning Artificial intelligence Cognition
263	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
264	Natural Language Understanding using Temporal Action Logic Martin Magnusson Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden email: [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:39:30 Reasoning Knowledge representation Logic programming Epistemology Programming paradigms Reasoning system Knowledge representation and reasoning Frame problem Reason Science Artificial intelligence Logic
265	The ARTS Real-Time Agent Architecture Konstantin Vikhorev Natasha Alechina Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-07-22 19:22:02 Procedural reasoning system Belief–desire–intention model Reasoning system Scheduling AgentSpeak Real-time computing Belief–desire–intention software model 2APL Artificial intelligence Multi-agent systems Computing
266	Towards a Robotic Dialogue System with Learning and Planning Capabilities Karolina Eliasson Linkoping University Department of Computer and Information Science SE[removed]Link¨oping [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:23:56 Inductive reasoning Reasoning Multimodal interaction Rhetoric Robotics Case-based reasoning Dialogue Dialog system Robot Artificial intelligence Fiction Science
267	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-04-08 05:17:39 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
268	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
269	Stream-Based Middleware Support for Embedded Reasoning∗ Fredrik Heintz, Jonas Kvarnstr¨om and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, jonkv, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:44:42 Knowledge representation Cognition Database management systems Middleware Systems engineering Reasoning system Database Frame language Spatial–temporal reasoning Artificial intelligence Reasoning Science
270	Bridging the Sense-Reasoning Gap using the Knowledge Processing Middleware DyKnow Fredrik Heintz, Piotr Rudol, and Patrick Doherty Department of Computer and Information Science Link¨opings universitet, Sweden {frehe, p Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:57:01 National security Military terminology Signals intelligence Unmanned aerial vehicle Sensor fusion Geographic information system Infrared Object Pose Electromagnetic radiation Espionage Computer vision

UPDATE